axiom-deduction method
公理-演绎法
热门查询
- beet n. 甜菜；甜菜根 vt. 生火；修理；改过
- debating v. 辩论（debate的ing形式）
- underfed adj. 营养不良的；没吃饱的；未喂饱的 v. 不充分供料（underfeed的过去式和过去分词）
- afire adj. 燃烧的；着火的 adv. 燃烧着；着火地
- overstatement n. 大话，夸大的叙述
- vita n. 生活；生命；个人简历（复数vitae） n. (Vita)人名；(英、法、俄、意、葡、匈、捷、塞、芬、德)维塔；(西)比塔
- Stedman [人名] [英格兰人姓氏] 斯特德曼 Stead的变体
- Kluge n. 由不配套的元件拼凑而成的计算机，异机种系统
- infamously adv. 不名誉地
- fruitcake n. 水果蛋糕
- metadata n. [计] 元数据
- handshaking n. 握手；[通信][计] 信号交换
- stanza n. 演出期；局；场；诗的一节
- airstream n. （尤指与飞机前进方向相反者）气流
- questions n. [数] 问题（question的复数） v. 质疑（question的第三人称单数形式）
- movie n. 电影；电影院；电影业 adj. 电影的
- eavesdrop n. 屋檐上流下来的水 vi. 偷听，窃听
- samovar n. 俄国式茶饮；茶壶 n. (Samovar)人名；(塞)萨莫瓦尔
- burnout n. 烧坏；燃料烧尽
- scrum n. 扭打，混乱；并列争球 vt. 抛（球）开始并列争球 vi. 参加并列争球
